Process Calculi for Adaptative Enumeration Strategies in Constraint Programming

Authors: Camilo Rueda, Carlos Olarte, Eric Monfroy

Research in Computing Science, Vol. 32, pp. 227-237, 2007.